On Owners-as-Accessors
نویسندگان
چکیده
Prescriptive ownership systems generally impose one of two disciplines on programs: either owners-as-dominators, or owners-as-modifiers. In this paper we discuss “owners-as-accessors” — a discipline that is stricter than ownersas-modifiers but more lenient than owners-as-dominators. We provide a concise informal definition of owners-as-accessors, discuss some existing systems that employ this discipline, and revisit an earlier study on performance. Finally we hypothesize how owners-as-accessors could potentially unify William Cook’s two forms of data abstraction: abstract data types and objects.
منابع مشابه
Profunctor Optics: Modular Data Accessors
Data accessors allow one to read and write components of a data structure, such as the fields of a record, the variants of a union, or the elements of a container. These data accessors are collectively known as optics; they are fundamental to programs that manipulate complex data. Individual data accessors for simple data structures are easy to write, for example as pairs of ‘getter’ and ‘sette...
متن کاملXQuery Java API (tutorial)
1. Overview .................................................................................................................................. 1 1.1. Relationship with XQJ (XQuery API for Java) ....................................................................... 2 2. Packages and classes ............................................................................................................
متن کاملSmart Pointers: They're Smart, But They're Not Pointers
There are numerous times when a C ++ user could beneet from a pointer variant that has more functionality than is provided by the basic, language-deened pointer. For example, type-accurate garbage collection, reference counting, or transparent references to distributed or persistent objects, might be implemented with classes that provide pointer functionality. The C ++ language directly support...
متن کاملCompositional Symmetric Sharing in B
Sharing between B constructs is limited, both on the specification and the implementation level. The limitations stem from the single writer/multiple readers paradigm, restricted visibility of shared variables, and structural constraints to prevent interference. As a consequence, applications with inherent sharing requirements have to either be described as large monolithic constructs or be und...
متن کاملبررسی راهکارهای حقوقی موجود جهت تعیین سرنوشت جنینهای منجمد رهاشده
Cryopreserved embryos are considered as abandoned embryos in two situations. The first situation is when the embryo`s owners have no definite domicile and no written guideline has been provided by the couple regarding the embryo`s status. The second one is when the owners of cryopreserved embryos explicitly state that they permit the freezing centers to decide about their embryos` fate. The aim...
متن کامل